The examples for different logical formalisms can be found in the above directories.
